predicate p() { any() }
